Proceedings Eighth Workshop on Model-Based Testing

Proceedings 1 st Workshop on Model - based Testing in Practice

Model-driven construction of system level tests should involve domain experts. Our Model-driven Test Case Construction (MTCC) approach employs feature models and protocol state machines to represent systems under test (SUT) as well as the actions and assertions used to execute a SUT. An editor is instantiated from models of SUTs and actions and assertions for the SUT. This editor supports the c...

Proceedings of the Eighth Canadian Workshop on Harmful Marine

The Proceedings of the Eighth International Research Workshop on Advances and Innovations in Software Testing

One of the challenges of creating a successful project in agile development is the identification of thesequence for developing modules within the program based on the stated requirements. The challengehere is that the difficulty of finding the best solution is a function of the number of modules to becreated plus other factors, giving rise to a NP complete problem. We will start wi...

Proceedings of the Eighth International Workshop on Constraint Handling Rules

The aim of this talk is to present a general framework for compiling Constraint Handling Rules (CHR) to a low level hardware description language (HDL). The benefit introduced by a CHR based hardware synthesis is twofold: it increases the abstraction level of the common synthesis work-flow and it can give significant speed up to the execution of a CHR program. I will describe a practical method...

mortality forecasting based on lee-carter model

over the past decades a number of approaches have been applied for forecasting mortality. in 1992, a new method for long-run forecast of the level and age pattern of mortality was published by lee and carter. this method was welcomed by many authors so it was extended through a wider class of generalized, parametric and nonlinear model. this model represents one of the most influential recent d...